Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor

During device testing, one of the aspects to be considered is the minimization of the switching activity of the circuit under test in order to steer clear of introducing problems due to device overheating. Nevertheless, there are also certain scenarios during which the maximization of switching activity of the circuit under test (CUT) or of certain parts of it could be proven beneficial e.g., during Burn-In (BI), where internal stress is often produced by applying suitable stimuli. This can be done in a functional manner based on Software-based Self-Test in order to avoid possible damages to the CUT and/or any kind of yield loss. However, the generation of suitable test programs for this task represents a non-trivial task. In this paper we consider a scenario where the circuitry to be stressed is a pipelined processor. We present a methodology, based on formal techniques, able to automatically generate the best functional stress stimuli, i.e., a short and repeatable sequence of assembly instructions, which is guaranteed to induce the maximum switching activity within a given target processor module over a pre-defined time period. For the purposes of our experiments we used the OpenRISC 1200. The gathered experimental results demonstrate the effectiveness of the developed method. In particular, we show that the time for generating the best instruction sequence is limited in most cases, while the generated sequence can always achieve a significantly higher sustained toggling activity than any other solution

Constraint-Based Automatic SBST Generation for RISC-V Processor Families

Software-Based Self-Tests (SBST) allow at-speed, native online-testing of processors by running software programs on the processor core, requiring no Design for Testability (DfT) infrastructure. The creation of such SBST programs often requires time-consuming manual labour that is expensive and requires in-depth knowledge of the processor’s architecture to target hard-to-test faults. In contrast, encoding the SBST generation task as a Bounded Model Checking (BMC) problem allows using sophisticated, state-of-the-art BMC solvers to automatically generate an SBST. Constraints for the BMC problem are encoded in a circuit called Validity Checker Module (VCM) and applied during SBST generation.In this paper, we focus on presenting a VCM architecture and a constraint set that allows building SBSTs that make minimal assumptions about the firmware, targeting hard-to-test faults in the ALU and register file of multiple scalar, in-order RISC-V processor families. The VCM architecture consists of a processor-specific mapping layer and a generic constraint set connected via a well-defined interface. The generic constraint set enforces the desired SBST behaviour, including controlling the processor’s pipeline state, memory accesses, and with that executed instructions, register state, and fault propagations. Using a generic constraint set allows for rapid SBST generation targeting new RISC-V processor families while keeping the generic constraints untouched. Lastly, we evaluate this approach on two RISC-V processor families, namely the DarkRISCV and a proprietary, industrial core showing the portability and strength of the approach, allowing for rapidly targeting new processors

Investigating Interactions of Biomembranes and Alcohols: A Multiscale Approach

We study the interaction of lipid bilayers with short chain alcohols using molecular dynamics on different length scales. We use detailed atomistic modeling and modeling on the length scale where an alcohol is just an amphiphilic dimer. Our strategy is to calibrate a coarse--grained model against the detailed model at selected state points at low alcohol concentration and then perform a wider range of simulations using the coarse--grained model. We get semiquantitative agreement with experiment for the major observables such as order parameter and area per molecule. We find a linear increase of area per molecule with alcohol concentration. The alcohol molecules in both system descriptions are in close contact with the glycerol backbone. Butanol molecules can enter the bilayer to some extent in contrast to the behavior of shorter alcohols. At very high alcohol concentrations we find clearly increased interdigitation between leaflets.Comment: 14 pages, 6 figure

A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors

With the continued success of the open RISC-V architecture, practical deployment of RISC-V processors necessitates an in-depth consideration of their testability, safety and security aspects. This survey provides an overview of recent developments in this quickly-evolving field. We start with discussing the application of state-of-the-art functional and system-level test solutions to RISC-V processors. Then, we discuss the use of RISC-V processors for safety-related applications; to this end, we outline the essential techniques necessary to obtain safety both in the functional and in the timing domain and review recent processor designs with safety features. Finally, we survey the different aspects of security with respect to RISC-V implementations and discuss the relationship between cryptographic protocols and primitives on the one hand and the RISC-V processor architecture and hardware implementation on the other. We also comment on the role of a RISC-V processor for system security and its resilience against side-channel attacks

The Status of Biofilms in Penile Implants

Erectile dysfunction is prevalent among men and will continue to become more so with the aging population. Of the available treatment options, implantable prosthetic devices are typically thought of as a third line treatment even though they have the highest satisfaction rate and continually improving success rates. Infection and mechanical failure are the most common reasons for implant revision in the past. Since the development of more reliable devices, bacterial biofilms are coming to the forefront of discussion as causes of required revision. Biofilms are problematic as they are ubiquitous and exceedingly difficult to prevent or treat

Artificial Landmarks for Trusted Localization of Autonomous Vehicles Based on Magnetic Sensors

Magnetic sensors provide an advantageous alternative localization method, primarily focusing on localization in surroundings where GPS, other radio frequency-based, as well as optical localization do not work or has severe limitations. Suitable for distances in the meter range, such magnetic localization may in particular be useful as artificial landmarks, e.g., for automatic drift correction. To easily use such artificial landmarks, we propose an integration process based on Transducer Electronic Data Sheets. With this approach, the landmarks can be used by passing autonomous vehicles, e.g., UAVs, for re-orientation and re-calibration. During this process, all necessary information such as data formats, reference coordinates, calibration data, provider of the landmark etc. is made known to the vehicle passing by. Based on the provided so-called meta-information, the vehicle itself can decide whether and how to use the provided sensory information. To provide a certain level of trust in the landmarks and their provided information, the corresponding data sheets are certified using a digital signature

Artificial Landmarks for Autonomous Vehicles Based on Magnetic Sensors

We propose to use an integration process based on Transducer Electronic Data Sheets applied to a magnetic sensor system for the realization of artificial landmarks. Magnetic sensors provide an advantageous alternative in surroundings where GPS and optical sensors do not work. These landmarks can be used by passing autonomous vehicles, e.g., drones, for re-orientation and re-calibration. To facilitate the usage of these landmarks also by any vehicle, known or unknown, a standardized process for automatic connection and identification of the landmarks is suggested. During this process, all necessary information such as protocols, calibration data etc. is made known to the vehicle passing by. Based on the provided information, the vehicle itself can decide whether and how to use the provided sensory information